| abstract class $CONTAINER{ETP} < $ELT{ETP} |
|---|
| **** | The basic abstract container type Does not have a create:SAME method, since this does not make sense for arrays and other indexible types, where the create should take SAME as an argument Inherits: elt!, str |
| $ELT{_} | $ELT |
| copy: $CONTAINER{ETP}; |
|---|
| **** | Should be "SAME" Return a copy of the current container post result = self |
| has(e: ETP): BOOL; |
|---|
| **** | pre ~void(self) True if the container contains the element "e" |
| size: INT; |
|---|
| **** | Number of elements actually inserted |